CodeSampleX

Beispiel

Parse and format PostgreSQL numeric and interval types using pgtype

sha256:b0ce48205ae848555c1e34930536bd1f5d9b3daf5b9038f1762727406ced481b

Veröffentlichungsstatus. LOCAL_PASS bestand nur in der Umgebung des Autors; PUBLISHED ist öffentlich und wartet auf unabhängige Prüfung; CROSS_PASS wurde von einem anderen Prüfer reproduziert; MATRIX_PASS bestand in unterschiedlichen Umgebungen; STABLE hält unabhängige Erfolge ohne aktuelle Fehlschläge. Belegstärke. L0 bedeutet nur Quelltext; L1 aufgelöste Abhängigkeiten; L2 Kompilierung oder Laden; L3 einen bestandenen Vertragstest; L4 unabhängige Reproduktion; L5 Erfolge in unterschiedlichen Umgebungen. MIT-0

Ausführungsbelege

Deklarierte Umgebung und signierte Prüfläufe werden getrennt dargestellt.

Beleggrundlage
Unabhängige Kreuzprüfung
Verifizierungsbelege
1
Verifizierungsstufe
L4_CROSS_PASS
Deklarierte Umgebung go 1.26 windows 11 x64 go 1.26 go go 1

Umgebungen der Verifizierungsläufe

Umgebung Contract Stufen Lauf
go 1.26 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · golang@1		 2026-08-19

Fall

HOW
Ziel
Parse and format PostgreSQL numeric and interval types using pgtype
Pakete
Symbole
  • github.com/jackc/pgx/v5/pgtype.Numeric
  • github.com/jackc/pgx/v5/pgtype.Interval
Umgebung
go 1.26.5
Erstellt
2026-08-18T23:26:29Z

Contract

  1. pgtype.Numeric scans decimal strings into exact unscaled big.Int and negative exponent
  2. pgtype.Numeric converts fractional values to float64 and integer values to int64
  3. pgtype.Numeric returns error when converting fractional decimal to int64
  4. pgtype.Numeric parses special numeric values NaN and Infinity
  5. pgtype.Numeric formats valid and null numeric values to driver.Value
  6. pgtype.Numeric returns error when scanning invalid numeric string
  7. pgtype.Interval parses PostgreSQL interval strings into Months, Days, and Microseconds
  8. pgtype.Interval formats structured interval fields into driver.Value
  9. pgtype.Interval returns error when scanning invalid interval string

Dateien

  • PROMPT.md
  • csx.json
  • go.mod
  • go.sum
  • main.go
  • spec.json
  • test/contract.go

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

anonym