Consent-gated request row: 'You asked Nibu to stop.' lowers only when the packet carries addressee consent #18

Merged
weksa merged 2 commits from weksa-body/consent-gated-asked-her-row into main 2026-11-09 10:12:24 +00:00
Member

Follow-up weksa-body/consent-gated-asked-her-row, under Nibu's V15 ruling (2026-11-09): consent is set only by Authored or GameTelemetry sources (refused at admission); if the lowering can't tell who asked it says so.

  • Inventory rev 2 (open, frozen=false) appends concept:6 request and frame:3 request_intervention; existing ids unchanged; inventory.cc regenerated.
  • lower.rs: frame:3 row; gate: every request must be the predication addressee_consent names (else ConsentMissing), its agent must be the addressee (else AskerNotAddressee); consent on a non-request stays Unrendered. No text reading.
  • Tests first (23 in tests/lower.rs), each rule mutated and caught. Soul pass: all promises hold; its one Low (several requests) is covered by the last commit.
  • Not run: clippy gate, CLI end to end on a stored packet.

🤖 Generated with Claude Code

Follow-up weksa-body/consent-gated-asked-her-row, under Nibu's V15 ruling (2026-11-09): consent is set only by Authored or GameTelemetry sources (refused at admission); if the lowering can't tell who asked it says so. - Inventory rev 2 (open, frozen=false) appends concept:6 `request` and frame:3 `request_intervention`; existing ids unchanged; inventory.cc regenerated. - lower.rs: frame:3 row; gate: every request must be the predication `addressee_consent` names (else `ConsentMissing`), its agent must be the addressee (else `AskerNotAddressee`); consent on a non-request stays `Unrendered`. No text reading. - Tests first (23 in tests/lower.rs), each rule mutated and caught. Soul pass: all promises hold; its one Low (several requests) is covered by the last commit. - Not run: clippy gate, CLI end to end on a stored packet. 🤖 Generated with [Claude Code](https://claude.com/claude-code)
Author
Member

Head 53e5414: cargo test --locked --workspace all ok, 0 failed (1 ignored, pre-existing). Soul pass held (see PR body). Merging.

Head 53e5414: cargo test --locked --workspace all ok, 0 failed (1 ignored, pre-existing). Soul pass held (see PR body). Merging.
weksa merged commit 2308b91fea into main 2026-11-09 10:12:24 +00:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
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!18
No description provided.