Hugging Face model: SZLHOLDINGS/szl-formulas
Author: SZLHOLDINGS
Created: 2026-07-12 11:55:07
Last modified: 2026-08-01 14:38:55
Pipeline: tabular-classification
Library: kernels
Likes: 0 | Downloads: 0
Tags: kernels, joblib, kernel, governance, formulas, proof-status, lean4, lambda-aggregate, sklearn, surrogate, tabular-classification, doi:10.5281/zenodo.19944926, license:apache-2.0, region:us
Card metadata:
tags: kernel, governance, formulas, proof-status, lean4, lambda-aggregate, sklearn, surrogate, tabular-classification, doi:10.5281/zenodo.19944926
library_name: kernels
pipeline_tag: tabular-classification
license: apache-2.0
szl-governance: verdict: ADVISORY
lambda: Conjecture 1 (open) — uniqueness unproven; composer Λ roll-up is ADVISORY only, never proven trust
provenance: offline replay of SZLHOLDINGS/canonical-formulas-v1 — 21 pure formulas + the governed-loop composer
honest_blocked: PROOF_STATUS is mirrored verbatim; locked-proven canonical set is EXACTLY 8 (machine-enforced) — never inflated