Skip to content

audit: adversarial verification of GLS-A overenskomst findings - #1682

Merged
renemadsen merged 18 commits into
stablefrom
docs/glsa-findings-verification
Aug 8, 2026
Merged

audit: adversarial verification of GLS-A overenskomst findings#1682
renemadsen merged 18 commits into
stablefrom
docs/glsa-findings-verification

Conversation

@renemadsen

Copy link
Copy Markdown
Member

Summary

Adversarial verification of every GLS-A claim in overenskomst-research-findings.md against re-acquired primary agreement texts, per the approved design (2026-08-08-glsa-findings-verification-design.md). Docs-only — no code, catalogue, fixture or migration changes, and no product decisions taken.

Sources persisted with provenance (docs/superpowers/specs/sources/): Jordbrug + Agroindustri 2026-2029, Gartneri + Skovbrug + Golf 2024-2026 (2026-2029 editions confirmed unpublished — including Golf, whose presets claim a period whose text does not exist), two GLS-A rate sheets; SHA-256 manifest in SOURCES.md; code ground truth for all 31 presets + engine facts in CODE-TRUTH.md.

Verdict ledger (2026-08-08-glsa-verification-ledger.md): 98 claims verified with verbatim quotes — 52 confirmed / 28 refuted / 18 unverifiable — plus 23 missing rules from a full-text completeness sweep. Every quote resolves at its cited source line (126/126 in the final audit-of-the-audit pass).

Headline corrections:

  • Golf "Saturday-afternoon code" was a false defect — the preset matches the text exactly (G-087). Defect 9 (dyrehold morning band) also refuted: its basis is § 23, not § 15 (G-031).
  • The "14 u18 presets missing a top tier" defect narrows to 4 — the other 9 Elev presets (Golf + 8 Agro) have no apprentice clause at all and are fabrications (G-089).
  • Jordbrug kapitel 22 sector ladders (frugtplantager, fjerkræproduktion, minkfarme) have no presets — that work silently falls on Standard's 30/80 (M-007..M-009).
  • The three "GLS-A circular defects" don't exist in the persisted circular — content was misattributed (G-064/G-081/G-082). Zero refutations touch the shipped praktikant behaviour.
  • Two [open question for GLS-A] escalations: § 22 Sunday +80% from hour one (G-046); § 15 night rate vs § 50 stk. 7 (G-062).

Proposed encodings + engine gaps (2026-08-08-glsa-proposed-encodings.md): 60+ target tables across 8 packets, each EXPRESSIBLE/NOT-EXPRESSIBLE against the engine, 23 concrete engine gaps (E1 band/tier stacking is itself a live payroll defect on the four banded Standard presets). All marked PROPOSED — every table needs its own product decision + praktikant-style migration before shipping.

Findings doc corrected in place: every refuted claim rewritten and tagged [corrected 2026-08-08, see ledger G-###]; missing rules added; IMPLEMENTATION STATUS and recommended sequence rebuilt.

🤖 Generated with Claude Code

renemadsen and others added 17 commits August 8, 2026 02:32
… six-phase audit)

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…ne facts

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…Helper, not absent

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…cts pending)

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
… to spec

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…ms (batch 1)

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…e greps, minor cites

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
… claims (batch 2)

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…sweep symmetry

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…edger

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…ounds, disclosures

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…, not decided)

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…turday, G-050 added, verdict consistency

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Every REFUTED claim rewritten with its corrected reading and tagged
[corrected 2026-08-08, see ledger G-###]; UNVERIFIABLE claims softened with
their gap named; the 23 missing rules added; IMPLEMENTATION STATUS updated
(defect 9 refuted, Golf Saturday false defect removed, defect 2 narrowed to
4 presets, defect 7/16/17 precision); recommended sequence rebuilt around
shippable-today items and engine gaps. Nothing deleted without a ledger row.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…g consistency

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Copilot AI lite review requested due to automatic review settings August 8, 2026 04:29

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR performs a docs-only adversarial verification pass over the GLS-A overenskomst findings, persisting primary sources with provenance, capturing code-state ground truth for presets/engine behavior, and updating the findings document to reflect verified/refuted/unverifiable claims backed by a detailed ledger.

Changes:

  • Persisted extracted primary-source texts (agreements + rate sheets) and added a SHA-256/source manifest.
  • Added “code ground truth” documentation for all GLS-A presets plus engine-routing facts used in the audit.
  • Rewrote/annotated the findings doc and added a per-claim verification ledger and verification design/plan artifacts.

Reviewed changes

Copilot reviewed 7 out of 14 changed files in this pull request and generated 3 comments.

Show a summary per file
File Description
docs/superpowers/specs/sources/SOURCES.md Adds a primary-source manifest with hashes and extraction sanity checks.
docs/superpowers/specs/sources/ratesheet-holddriftstillaeg-2026.txt Persists extracted Holddriftstillæg rate-sheet text used for citations.
docs/superpowers/specs/sources/loenoversigt-landbrug-2026.txt Persists extracted landbrug wage overview text used for citations.
docs/superpowers/specs/sources/CODE-TRUTH.md Documents preset encodings and engine facts as audit “code ground truth”.
docs/superpowers/specs/overenskomst-research-findings.md Updates findings with corrected claims, citations, and revised conclusions.
docs/superpowers/specs/2026-08-08-glsa-verification-ledger.md Adds the per-claim verdict ledger with quotes and line references.
docs/superpowers/specs/2026-08-08-glsa-findings-verification-design.md Adds the approved verification design/spec for the audit process.
docs/superpowers/plans/2026-08-08-glsa-findings-verification.md Adds the detailed execution plan describing the multi-phase workflow.

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

Comment thread docs/superpowers/specs/sources/SOURCES.md Outdated
Comment thread docs/superpowers/specs/overenskomst-research-findings.md Outdated
Comment thread docs/superpowers/specs/sources/CODE-TRUTH.md Outdated
…epo-relative paths

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@renemadsen
renemadsen merged commit 9ce3f25 into stable Aug 8, 2026
76 of 77 checks passed
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.

2 participants