GameCult/Weksa
Watch
9
0
Fork
You've already forked Weksa
 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions

V18: validate refuses a request_intervention predication the addressee consent does not name #94

Merged
weksa merged 3 commits from weksa-lowering/request-frame-consent into main 2026-11-14 04:21:50 +00:00
Conversation 0 Commits 3 Files changed 5 +125 -9
weksa commented 2026-11-14 04:08:54 +00:00
Member
Copy link

Executes weksa-lowering:cut_spec:cut-request-frame-consent.r1.

validate keys on the inventory entry's gloss (request_intervention) resolved at the packet's own revision; the predication must be named by discourse.addressee_consent, else V18RequestWithoutConsent. Because LoweringInput exists only from PacketStore::admit, every lowerer is covered. Encoder (ModelDecomposition) packets can never satisfy V15, so they cannot use a request frame; no schema, marker, prompt or data change.

Proof: consumer test tests/context.rs an_encoder_request_never_reaches_a_lowerer fails with expected V18, got Ok(()) when the check_requests call is removed. Full weksa suite (26 result lines ok) and clippy --all-targets -D warnings clean. Not merged.

🤖 Generated with Claude Code

Executes weksa-lowering:cut_spec:cut-request-frame-consent.r1. validate keys on the inventory entry's gloss (request_intervention) resolved at the packet's own revision; the predication must be named by discourse.addressee_consent, else V18RequestWithoutConsent. Because LoweringInput exists only from PacketStore::admit, every lowerer is covered. Encoder (ModelDecomposition) packets can never satisfy V15, so they cannot use a request frame; no schema, marker, prompt or data change. Proof: consumer test tests/context.rs an_encoder_request_never_reaches_a_lowerer fails with `expected V18, got Ok(())` when the check_requests call is removed. Full weksa suite (26 result lines ok) and clippy --all-targets -D warnings clean. Not merged. 🤖 Generated with [Claude Code](https://claude.com/claude-code)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
weksa merged commit e7775541fe into main 2026-11-14 04:21:50 +00:00
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
GameCult/Weksa!94
No description provided.