home / pub10

missed_proposals

Capabilities the verifier proposed as missed by both runs, with the adjudicator's decision.

Data license: Not yet licensed — internal review only · Data source: Ahmed ElBatanony, Innopolis University

3 rows where accepted = "1.0" and app_id = "F1-002"

✎ View and edit SQL

This data as json, CSV (advanced)

app_id 1

  • It's a Plan · 3 ✖

accepted 1

  • 1.0 · 3 ✖
Link rowid ▼ app_id statement excerpt proposed_by accepted reason
4 4 It's a Plan F1-002 The system lets a user sign in through a sign-in link sent by email. The instance sends password resets, address confirmations, sign-in links and invites through verifier 1.0 Emailed sign-in links are a user-facing sign-in method not covered by the password, passkey or external-account statement.
5 5 It's a Plan F1-002 The system lets a user renew an expired invite from the member list. an expired one is renewed from the member list under a new verifier 1.0 Renewing an expired invite is a distinct action not covered by invite expiry; the actor is set to a user because the source names no role.
6 6 It's a Plan F1-002 The system lets a user sign in an MCP client with OAuth when the instance is served over HTTPS. MCP clients sign in with OAuth only over HTTPS. verifier 1.0 OAuth sign-in for MCP clients is a user-facing access feature with a stated condition, and no surviving statement covers it.

Advanced export

JSON shape: default, array, newline-delimited

CSV options:

CREATE TABLE [missed_proposals] ([app_id] TEXT, [statement] TEXT, [excerpt] TEXT, [proposed_by] TEXT, [accepted] REAL, [reason] TEXT, FOREIGN KEY ([app_id]) REFERENCES apps(app_id));
Powered by Datasette · Queries took 32.495ms · Data license: Not yet licensed — internal review only · Data source: Ahmed ElBatanony, Innopolis University