Module kappa

Structs§

CertificateInputs: Inputs to compute the runtime certificate end to end from the update matrices.
KappaDynamicFloorReport: Value-bearing report for the dynamic floor and certificate decision.
KappaFloorTick: Inputs for one update tick’s runtime certificate decision.
KappaNegativeGuardReport: Negative-guard report for old-wrong certificate paths.

FIXED_KAPPA_THEOREM_OLD_WRONG_PATH: Old-wrong path guarded by story #152.
KAPPA_DYNAMIC_FLOOR_JOURNEY_ID: The command/runtime journey for story #152.
KAPPA_DYNAMIC_FLOOR_STORY_ID: The SpecFlow story id for the dynamic kappa-floor certificate.
NO_FAIL_CLOSED_EXCURSION_OLD_WRONG_PATH: Old-wrong path guarded by story #152.
PERIODIC_CERTIFICATE_OLD_WRONG_PATH: Old-wrong path guarded by story #152.

certify_update: Compute kappa_hat_t and E_t from the update matrices, then classify against the dynamic floor and fail closed on an excursion. This is the REQ-01 (compute) + REQ-02 (floor) + REQ-03 (classify) path end to end: no certificate value is supplied by the caller.
classify_dynamic_floor_tick: Classify one update tick against the filed-Prov6 dynamic floor.
compute_kappa_hat: Compute the per-step residual certificate kappa_hat_t = || H( log A_{t+1} - (1 - alpha_t) log A_t - alpha_t log R_t ) H ||_F directly from the update matrices (P5 certificate; story #152 REQ-01).
quotient_distance: Compute the quotient distance E_t = d_Q([A], [B]) = || H(log A - log B) H ||_F, the dynamic-floor term that scales with how far the reference moved (story #152).
reject_fixed_kappa_theorem_threshold: Reject a fixed universal threshold as the theorem gate.
reject_no_fail_closed_excursion: Reject excursions that are observed but accepted instead of failing closed.
reject_periodic_certificate: Reject certificate checks that do not run on every update tick.