Skip to content

chore: promote dev to main — go-log v0.10.0 (Mantis #1239, audit COMPLIANT)#5

Merged
Snider merged 1 commit into
mainfrom
dev
Apr 30, 2026
Merged

chore: promote dev to main — go-log v0.10.0 (Mantis #1239, audit COMPLIANT)#5
Snider merged 1 commit into
mainfrom
dev

Conversation

@Snider

@Snider Snider commented Apr 30, 2026

Copy link
Copy Markdown
Contributor

Brings v0.10.0 to main: restructure + audit COMPLIANT. Closes Mantis #1239.

…1239)

Bring go-log to v0.9.0 audit-COMPLIANT verdict (every counter at 0).

Layout migration:
- Moved flat module into go/ subtree
- Added go.work at repo root with use ./go + ./external/go
- Added external/go git submodule → github.com/dappcore/go.git branch=dev
  (added by Cladius after lane completion — sandbox blocks git submodule
  add directly)
- go/go.mod declares `module dappco.re/go/log`
- Added AGENTS.md + README.md per docs-gaps requirement

Contract migration:
- Banned-import cleanup
- Result-discard propagation
- err-shape-funcs migrated
- AX-7 triplet + Example coverage backfilled
- 0 gaming patterns

Verification:
- GOWORK=off go build ./... clean
- GOWORK=off go vet ./... clean
- GOWORK=off go test -count=1 -short ./... clean
- audit.sh verdict: COMPLIANT (every counter at 0)

Closes tasks.lthn.sh/view.php?id=1239

Co-authored-by: Codex <noreply@openai.com>
@Snider Snider merged commit 57fed5f into main Apr 30, 2026
1 of 2 checks passed
@sonarqubecloud

Copy link
Copy Markdown

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant