sancovp/dark-factory-live - Page 11

0-3-4-understand-acr

[0.3.4] Authentication Context Class: a statement about the authentication method used, the assurance level of the aut

Langue du texte source : anglais

0-3-5-understand-acr-requirement

[0.3.5] A requirement statement specifying which ACRs the RP considers acceptable and in what priority order

Langue du texte source : anglais

0-3-6-understand-essential-claim-directive

[0.3.6] Claim marked as required by the relying party; identity provider must return this claim or return an error sat

Langue du texte source : anglais

0-3-understand-deep-openid-connect

[0.3] the deep_openid_connect subdomain of oauth 2 0 and openid connect (33 concepts)

Langue du texte source : anglais

0-4-1-understand-oauth-2-0

[0.4.1] IETF RFC 6749 authorization framework enabling third-party application access to protected resources without s

Langue du texte source : anglais

0-4-2-understand-openid-connect

[0.4.2] Identity layer on top of OAuth 2.0 (OIDC 1.0, OIDC Core spec) adding ID tokens as JWTs, userinfo endpoint, and

Langue du texte source : anglais

0-4-3-understand-access-token

[0.4.3] OAuth 2.0 credential presented to the resource server; opaque to clients but contains or references authorizat

Langue du texte source : anglais

0-4-4-understand-token-endpoint

[0.4.4] OAuth 2.0 endpoint accepting authorization_code or other grants and returning access_token, refresh_token, and

Langue du texte source : anglais

0-4-5-understand-claims-parameter

[0.4.5] OIDC parameter requesting specific claims in id_token or userinfo response; server may return subset based on

Langue du texte source : anglais

0-4-6-understand-resource-server

[0.4.6] Server hosting protected resources; validates incoming access tokens and returns resources only when tokens ar

Langue du texte source : anglais

0-4-understand-oauth-2-0-and-openid-connect

[0.4] the oauth_2_0_and_openid_connect subdomain of oauth 2 0 and openid connect (103 concepts)

Langue du texte source : anglais

0-understand-oauth-2-0-and-openid-connect

[0] the oauth 2 0 and openid connect library — every skill a certified region of the KB; call number = home : facets

Langue du texte source : anglais

using-oauth-2-0-and-openid-connect

Use the oauth 2 0 and openid connect neurosymbolic module: RAG library, agent brain, growable KB — proof-checked

Langue du texte source : anglais

0-understand-type-systems-for-working-programmers

[0] the type systems for working programmers library — every skill a certified region of the KB; call number = home : facets

Langue du texte source : anglais

0-1-understand-core

[0.1] the core subdomain of type systems for working programmers (1 concepts)

Langue du texte source : anglais

0-1-1-understand-primitive-union

[0.1.1] An untagged union of types representing a value that could be one of several member types, but without a discr

Langue du texte source : anglais

0-2-understand-deep-tagged-union-type

[0.2] the deep_tagged_union_type subdomain of type systems for working programmers (28 concepts)

Langue du texte source : anglais

0-2-6-understand-du-match

[0.2.6] The elimination form: a function that, given a discriminated union value, dispatches on its du_tag to apply th

Langue du texte source : anglais

0-2-4-understand-du-payload

[0.2.4] The data value carried by a specific variant of a discriminated union. Only one payload is live at a time; the

Langue du texte source : anglais

0-2-3-understand-du-tag

[0.2.3] A value-level or type-level label that uniquely identifies which variant of a discriminated union is active in

Langue du texte source : anglais

0-2-1-understand-du-variant

[0.2.1] A named constituent of a discriminated union, pairing a du_tag with a du_payload type. Each variant represents

Langue du texte source : anglais

0-2-2-understand-lens-optic

[0.2.2] An optic pairing a getter with a setter over a product type's field, enabling focused access to one du_payload

Langue du texte source : anglais

0-2-5-understand-prism-optic

[0.2.5] An optic pairing a matcher with a builder over a sum type's du_variant, enabling partial projection into one d

Langue du texte source : anglais

0-3-understand-deep-type-inference

[0.3] the deep_type_inference subdomain of type systems for working programmers (56 concepts)

Langue du texte source : anglais

0-3-6-understand-constraint

[0.3.6] An atomic equational condition of the form type_A = type_B produced during constraint_generation, awaiting res

Langue du texte source : anglais

0-3-2-understand-constraint-solving

[0.3.2] The phase that processes the generated constraints via unification, producing the principal substitution.

Langue du texte source : anglais

0-3-3-understand-generalization

[0.3.3] Operation that abstracts free type variables into quantified variables, forming a type scheme.

Langue du texte source : anglais

0-3-1-understand-instantiation

[0.3.1] Operation that replaces quantified variables in a type scheme with fresh type variables.

Langue du texte source : anglais

0-3-4-understand-pt02

[0.3.4] type_inference: the algorithmic process of deriving types for expressions by propagating constraints from know

Langue du texte source : anglais

0-3-5-understand-pt09

[0.3.5] instantiation: replacing quantified variables in a type scheme with fresh type variables, yielding a less-gene

Langue du texte source : anglais

0-4-understand-type-systems-for-working-programmers

[0.4] the type_systems_for_working_programmers subdomain of type systems for working programmers (157 concepts)

Langue du texte source : anglais

0-4-3-understand-discriminated-union

[0.4.3] Tagged union enabling compiler-verified exhaustive pattern matching over variants.

Langue du texte source : anglais

0-4-1-understand-optics-type

[0.4.1] Abstracting getters/setters across product and sum types (lens, prism, traversal).

Langue du texte source : anglais

0-4-6-understand-tagged-union-type

[0.4.6] Discriminated union with explicit tag field enabling exhaustive pattern matching.

Langue du texte source : anglais

0-4-5-understand-type-error

[0.4.5] Violation of type constraints detected by the type system (static or runtime).

Langue du texte source : anglais

0-4-2-understand-type-inference

[0.4.2] Compiler or runtime deducing types from context without explicit annotation.

Langue du texte source : anglais

0-4-4-understand-type-variable

[0.4.4] Placeholder symbol ranging over types, awaiting instantiation (alpha in Hindley-Milner).

Langue du texte source : anglais

0-1-1-understand-primitive-union

[0.1.1] An untagged union of types representing a value that could be one of several member types, but without a discr

Langue du texte source : anglais

0-1-understand-core

[0.1] the core subdomain of type systems for working programmers (1 concepts)

Langue du texte source : anglais

0-2-1-understand-du-variant

[0.2.1] A named constituent of a discriminated union, pairing a du_tag with a du_payload type. Each variant represents

Langue du texte source : anglais