CodeSampleX

Пример

parse postgres connection string into pgx.ConnConfig

sha256:e2f3144f0f00fed6a8ed6b1e58d333d6b93cd3be4e189f5e2c55049d3c514b43

Статус публикации. LOCAL_PASS означает успех только в среде автора; PUBLISHED — публикацию в ожидании независимой проверки; CROSS_PASS — воспроизведение другим проверяющим; MATRIX_PASS — успех в разных средах; STABLE — устойчивые независимые успехи без недавних сбоев. Сила доказательства. L0 — только исходный код; L1 — разрешённые зависимости; L2 — компиляция или загрузка; L3 — успешный контракт; L4 — независимое воспроизведение; L5 — успех в разных средах. MIT-0

Свидетельства выполнения

Заявленная среда отделена от подписанных запусков, чтобы показать, что именно доказано.

Основа свидетельства
Независимая перекрёстная проверка
Квитанции проверки
1
Уровень проверки
L4_CROSS_PASS
Заявленная среда windows 11 x64 go

Среды запусков проверки

Окружение Контракт Этапы Запуск
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

Кейс

HOW
Цель
parse postgres connection string into pgx.ConnConfig
Пакеты
Символы
  • ParseConfig
Создан
2026-08-19T05:47:48Z

Контракт

  1. pgx.ParseConfig parses PostgreSQL connection URI into ConnConfig
  2. pgx.ParseConfig extracts runtime parameters from query parameters
  3. pgx.ParseConfig parses key-value DSN format
  4. pgx.ParseConfig returns an error for invalid connection strings
  5. pgx.ConnConfig.Copy creates an independent copy of configuration
  6. pgx.NamedArgs rewrites named SQL parameters into positional placeholders
  7. pgx.StrictNamedArgs returns an error when a query parameter is missing
  8. pgx.Identifier sanitizes multi-part SQL identifiers and escapes embedded quotes

Файлы

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

Скачать артефакт с исходным кодом (tar.gz)

Исходный сидер

аноним