SignedIn(fail: Fail)

session が読めて anonymous でない。401 / 403 と anonymous は fail、他の失敗は同じ status で止める。

Declared(kind: String, fail: Fail)

session の declared.<kind> が true(browser の署名 cookie の申告 kind が期間の内)。

SubjectKind(kinds: List(String), fail: Fail)

session の主体の種類(subject.kind、snake_case)がどれか。

Consented(kind: String, fail: Fail)

session の consents.<kind> が true(party が同意 kind を持つ)。

Csp(pages: List(Match), directives: List(Directive))

FrameSrc(hosts: List(String))

ImgSrc(hosts: List(String))

ConnectSrc(hosts: List(String))

MediaSrc(hosts: List(String))

ToSignIn(status: Int, back: Bool)

sign-in へ status(302 / 303)。back なら redirect_uri に要求の URL を付ける。

Deny(status: Int, body: String)

status と本文(text/plain)で止める。

RedirectTo(location: String)

302 で面の中の path へ返す。

RedirectBack(location: String, param: String)

302 で面の中の location へ返し、query param に要求の path + search を URL 符号化して付ける (0.11.5)。location が既に query を持てば & で足す。要求の path + search が面の中の path でなければ (SafeParam と同じ判定)param を付けない ── 外の origin へ戻す値にはしない。 location は / で始め、// で始めず、\ も制御文字も # も持たない。param は [A-Za-z0-9_.-]+。

NavKind

initial / reload / spa(戻る・進むも spa)

ClientAt

送った時の client の時刻(参考。訪問の区切りには使わない)

Path

数えた頁の path

Previous

同じ tab の前の event の id

Referrer

前の event が無いときだけ、同じ origin なら path(referrer_path)、外なら host(referrer_host)

FromQuery(name: String, param: String, pattern: QueryPattern)

query param の値が pattern に当たるときだけ、欄 name に載せる

Gate(
  sign_in: SignIn,
  rules: List(Rule),
  redirects: List(Redirect),
  csp: List(Csp),
  pageview: Pageview,
)

Arguments

sign_in

sign-in へ返す先。origin は env PUBLIC_IDP_ORIGIN、空なら fallback_origin。

rules

宣言順に評価する。最初に落ちた検査の応答を返す。

redirects

門を通った後の条件つきの redirect。宣言順で最初に当たったものを返す。

csp

Page 群ごとの CSP の指令(HTML の応答に Content-Security-Policy を付ける)。0.12 で入口の frame_src から移した。

pageview

数える口(0.12)。送り手は client.mjs 1 つで、門は印の meta だけを差す。

Exact(path: String)

Page の route そのもの(/claim/:code)。

Prefix(path: String)

その path の Page と、その下の全 Page(/me → /me, /me/chats/:id, ..)。

Every

面の全 Page。

NoPageview

Pageview(
  pages: List(Match),
  only: List(When),
  fields: List(Field),
  sink: Sink,
)

Slug(max: Int)

[a-z0-9_]{1,max}(max は 1〜64)

Redirect(pages: List(Match), when: When, to: To)

Rule(
  pages: List(Match),
  except: List(Match),
  checks: List(Check),
)

SignIn(path: String, fallback_origin: String)

Store(
  resolve: option.Option(String),
  rollup_by: List(String),
  exclude_when: List(String),
)

framework の器(event・訪問・印の表と、日・月の集計)。resolve は event の path を Args に受けて業務の次元を Out の欄で返す app の Service の名、rollup_by はその Out の欄で集計を割る名、exclude_when はその Out の Bool の欄で、真の event は行を作るが数字から除く。browser の宣言が要る

ToService(service: String)

名前付きの逃げ道。入口の検査(送り手・id・bot と監視・先読み・連打)を通した event を app の Service に渡す。 Args は fields から組む型と突き合わせ、印・party・主体は root に運ぶ。生成器が使った数を警告で出す

SafeParam(param: String, fallback: String)

302 → query param の値。面の中の path でなければ fallback。

Fixed(location: String)

302 → 決まった path。

FixedKeep(location: String)

302 → 決まった path に、要求の query を保って付ける(0.11.5)。location は / で始め、// で始めず、 \ も制御文字も ? も # も持たない。 hash は server に届かない ── 頁の読み込みの 302 では browser が元の URL の hash を引き継ぐ (client 遷移の fetch は redirect を取らずに頁の読み込みへ落ちるので、同じに保たれる)。

WhenDeclared(kind: String)

session の declared.<kind> が true。

WhenSignedIn

session が読めて anonymous でない。