Avatar for the QWED-AI user
QWED-AI
qwed-verification
BlogDocsChangelog

Performance History

Latest Results

fix: address review findings for VerificationContext model
feat/verification-context-model
1 hour ago
feat: VerificationContext model and schema validation helpers Closes #303.
feat/verification-context-model
2 hours ago
Merge pull request #302 from QWED-AI/spec/verification-context-v1.0 spec: QWED Verification Context Specification v1.0 (Draft)
main
2 hours ago
spec: bind decision layer; reject unencodable payloads and unpaired surrogates
spec/verification-context-v1.0
4 hours ago
spec: enforce RFC 8785 UTF-16 key order and IEEE-754 number encoding
spec/verification-context-v1.0
5 hours ago
spec: RFC 8785 canonical number encoding; drop false json.dumps equivalence Specification: - Specify canonical numbers per RFC 8785 3.2.2 / ECMAScript Number::toString: integer-valued numbers as base-10 JSON integers, non-integer finite floats in the shortest round-trip form with fixed-point for exponents in [-6, 21] and exponential otherwise (1e-6 -> 0.000001, 1e-7 -> 1e-7). - Remove the incorrect 'equivalent to json.dumps(...)' claim — Python json.dumps emits 1e-07 / 1e-06 and is not RFC 8785-compatible; implementations MUST use an RFC 8785-compatible number serializer. Conformance tests (35 -> 38): - Reference helper now serializes via an RFC 8785 canonical serializer (_canonical_json + _es_number_to_string implementing ECMAScript Number::toString) instead of Python json.dumps float formatting. - Byte-level golden vectors: 1e-7 -> 1e-7, 1e-6 -> 0.000001, 1.5e-7 -> 1.5e-7, integer-valued floats as JSON integers, and equivalent-float commitment equality.
spec/verification-context-v1.0
7 hours ago
spec: full canonical-number algorithm; fail-closed on non-finite values Specification: - Define a language-independent canonical-number algorithm: reject NaN/+Inf/-Inf (fail-closed), normalize integer-valued numbers to base-10 integers (1 and 1.0 commit identically, -0.0 normalizes to 0, large integers use arbitrary precision), and serialize non-integer finite numbers in the shortest round-trip IEEE 754 form (RFC 8785 3.2.2 / ECMAScript Number::toString). Conformance tests (29 -> 35): - _canonicalize_numbers rejects non-finite floats; json.dumps uses allow_nan=False as a final guard. - Golden vectors: 1/1.0, 0/-0, large integer (1e21 == 10**21), precision-sensitive decimal determinism, and refusal of NaN/Infinity/-Infinity.
spec/verification-context-v1.0
8 hours ago
spec: align proof_ref payload with prose; canonical numbers; documented interpretation fields Specification: - Specify the bound payload normatively as {formal_statement, context} with proof_ref removed; object.formalization is deliberately NOT bound (the commitment binds the formal statement, not how it was derived). - Canonical numbers: integer-valued numbers serialize as JSON integers so equivalent values (1 and 1.0) commit identically. Schema: - Interpretation adds the documented engine-specific fields (language, policy_version, parser_version) so SQL/Code contexts validate, resolving the additionalProperties:false contradiction with the prose. Conformance tests (23 -> 29): - Reference helper now builds the payload from formal_statement + context (matching the prose) with number canonicalization and ensure_ascii=False. - Add coverage: numeric canonicalization, formalization excluded from the commitment, Code/SQL interpretation fields accepted, undocumented field rejected.
spec/verification-context-v1.0
11 hours ago

Latest Branches

CodSpeed Performance Gauge
0%
feat: VerificationContext model and schema validation helpers#308
1 hour ago
0c41d20
feat/verification-context-model
CodSpeed Performance Gauge
0%
spec: QWED Verification Context Specification v1.0 (Draft)#302
4 hours ago
2848e12
spec/verification-context-v1.0
CodSpeed Performance Gauge
0%
docs(adr): freeze verification ontology (ADR-001..005)#301
13 hours ago
15d8eb1
docs/adr-verification-ontology
© 2026 CodSpeed Technology
Home Terms Privacy Docs