mirror of
https://github.com/MBombeck/HealthLog.git
synced 2026-11-08 12:32:43 +00:00
Four structural guards freeze the invariants the change rests on: the set of files that can resolve a Bearer token to a user, the single deliberate any-valid-token posture, the mint sites with their scope sets, and the rule that a declared scope is an exported constant rather than a literal. Thirteen behavioural cases run against a real Postgres and the real resolver. Four of them go red on the pre-fix tree — a narrow token reading the full-backup export and the labs surface, and an MCP token on a REST read. The rest pin the flows that must NOT change: the per-medication ingest pair still works, the token without the per-medication grant is still refused, a wildcard token still reaches the export and the batch ingest, an MCP token still resolves on /mcp with its write scope intact, a declared fhir:read still opens the FHIR face and nothing else, cookie sessions are unaffected, and requireAdmin still refuses a wildcard Bearer. The workout-batch case that asserted narrow tokens are admitted claimed the iOS sync depended on it. It does not: workouts:ingest has no mint site anywhere, and iOS holds a ["*"] token. Replaced with a case that asserts both halves of the real contract. Documentation updated for the enforcement rule and the retired mint.