veritas_math_gate

Previous value: -"A VERITAS BuildClaim object containing all declared primitives, operators, regimes, boundaries, loss models, evidence items, cost vectors, and policy configuration needed for deterministic gate evaluation. All fields are optional for partial evaluation — only the fields relevant to the gate being invoked are required."New value: +"A VERITAS BuildClaim object for deterministic gate evaluation. All fields are optional for partial evaluation — only fields relevant to the invoked gate are required."

Previous value: -"AttackSuite with suite_id and list of Attack transforms (InflateBound, RemoveEvidence, PerturbParam, PerturbEvidence) for adversary gate."New value: +"Attack transforms for adversary testing: InflateBound, RemoveEvidence, PerturbParam, PerturbEvidence."

Previous value: -"Named boundary constraints (e.g. 'CAPEX_USD <= 100000') that the claim must satisfy."New value: +"Boundary constraints, e.g. {name: 'cap', constraint: 'CAPEX_USD <= 100000'}."

Previous value: -"Git commit SHA for reproducibility and audit trail."New value: +"Git commit SHA for reproducibility."

Previous value: -"CostVector with optional fields: compute_flops, memory_bytes, wall_clock_s, capital_usd, coordination_agents."New value: +"CostVector: compute_flops, memory_bytes, wall_clock_s, capital_usd, coordination_agents."

Previous value: -"Upper bounds for each cost component. Utilization = max(cost_i / bound_i). Values must be > 0."New value: +"Upper bounds for each cost component. All values must be > 0."

Previous value: -"SBOM-style dependency manifest for supply-chain analysis: package names, versions, registries, and integrity hashes."New value: +"SBOM-style dependency manifest: package names, versions, registries, hashes."

Previous value: -"Evidence items, each with id, variable, value (Numeric or Categorical), timestamp, method, provenance, and optional dependencies."New value: +"Evidence items with id, variable, value, timestamp, method, provenance."

Previous value: -"Named loss functions as ArithmeticExpr over primitives, with optional upper bounds."New value: +"Loss functions as ArithmeticExpr with optional upper bounds."

Previous value: -"Declared operators with name, arity, input primitive names, output primitive name, and totality flag."New value: +"Operators with name, arity, input/output primitive names, totality flag."

Previous value: -"PolicyConfig overrides: hash_alg, solver_backend, timeouts, thresholds. Defaults to VERITAS Omega v1.3.1 canonical values if omitted."New value: +"PolicyConfig overrides for hash_alg, solver_backend, timeouts, thresholds."

Previous value: -"Declared typed variables with name, domain (Interval/EnumSet/FiniteSet), optional units, and description."New value: +"Typed variables with name, domain (Interval/EnumSet/FiniteSet), optional units."

Previous value: -"Unique project identifier, e.g. 'omega-brain-mcp'."New value: +"Project identifier, e.g. 'omega-brain-mcp'."

Previous value: -"Named operating regimes, each with a predicate ConstraintExpr over declared primitives."New value: +"Operating regimes with name and predicate ConstraintExpr."

Previous value: -"Security posture declaration: SAST results, secret scan findings, injection surfaces, auth boundaries, and TLS/crypto configuration."New value: +"Security posture: SAST results, secret scan, injection surfaces, auth, TLS config."

Previous value: -"Semantic version string of the build being evaluated, e.g. '2.1.0'."New value: +"Semantic version, e.g. '2.1.0'."

Previous value: -"Full or partial VERITAS BuildClaim object"New value: +"A VERITAS BuildClaim object containing all declared primitives, operators, regimes, boundaries, loss models, evidence items, cost vectors, and policy configuration needed for deterministic gate evaluation. All fields are optional for partial evaluation — only the fields relevant to the gate being invoked are required."

Added value: +"AttackSuite with suite_id and list of Attack transforms (InflateBound, RemoveEvidence, PerturbParam, PerturbEvidence) for adversary gate."

Added value: +"Named boundary constraints (e.g. 'CAPEX_USD <= 100000') that the claim must satisfy."

Added value: +"Git commit SHA for reproducibility and audit trail."

Added value: +"CostVector with optional fields: compute_flops, memory_bytes, wall_clock_s, capital_usd, coordination_agents."

Added value: +"Upper bounds for each cost component. Utilization = max(cost_i / bound_i). Values must be > 0."

Added value: +"SBOM-style dependency manifest for supply-chain analysis: package names, versions, registries, and integrity hashes."

Added value: +"Evidence items, each with id, variable, value (Numeric or Categorical), timestamp, method, provenance, and optional dependencies."

Added value: +"Named loss functions as ArithmeticExpr over primitives, with optional upper bounds."

Added value: +"Declared operators with name, arity, input primitive names, output primitive name, and totality flag."

Added value: +"PolicyConfig overrides: hash_alg, solver_backend, timeouts, thresholds. Defaults to VERITAS Omega v1.3.1 canonical values if omitted."

Added value: +"Declared typed variables with name, domain (Interval/EnumSet/FiniteSet), optional units, and description."

Added value: +"Unique project identifier, e.g. 'omega-brain-mcp'."

Added value: +"Named operating regimes, each with a predicate ConstraintExpr over declared primitives."

Added value: +"Security posture declaration: SAST results, secret scan findings, injection surfaces, auth boundaries, and TLS/crypto configuration."

Added value: +"Semantic version string of the build being evaluated, e.g. '2.1.0'."