feat(core): PW-G002 — expand the deterministic quality-module stack (Swiss-cheese) #104

Closed
opened 2026-06-23 07:20:34 +02:00 by claude · 1 comment
Collaborator

Materializes gap PW-G002 from docs/status.html. Inspiration for codex — not a rigid spec.

The vision

The Core registry exists but the deterministic quality layer is thin. Grow it into a real Swiss-cheese stack of repeatable, head-bound checks so a PR passes many independent deterministic holes before any LLM or human is needed: pyfallow / fallow-ts structural checks, content/slop checks (AI-generated-noise heuristics), security sensors, and repo-specific policy modules.

Why it matters

Deterministic checks are the cheapest, most trustworthy holes in the cheese — they never hallucinate and never leak. The more real deterministic coverage, the less the system leans on nondeterministic reviewers, and the higher the operator's trust per merge.

Inspiration — possible shapes (pick what fits)

  • Each check = a Core module with an explicit contract (id, inputs, outputs, execution mode), composing into the existing module stack.
  • pyfallow/fallow-ts: wire as Option-D subprocess modules emitting findings into the contract (per pyfallow-integration-plan.md) — no new Python runtime dep.
  • "Slop"/content checks: heuristics for low-signal AI output (giant diffs, boilerplate churn, comment-only noise, duplicated blocks).
  • Security sensors: secret-shaped strings, dangerous API calls, permission widening — as sensors that route to hard-manual classes.
  • Repo-specific policy modules selectable per profile via the stack resolver.

Hard boundaries (safety, not design)

  • Sensors emit findings; policy decides (D20). No module merges/approves.
  • pyfallow/fallow-ts stay subprocess/external, not Python runtime deps (stdlib-only core, P1 sovereignty).
  • Fail-closed: a check that can't run → its absence is recorded, never a silent green.
  • Schema/version bumps only where the contract genuinely changes; keep examples + tests in sync.

The HOW is yours

You choose which modules to build first, their internals, and the PR sequencing. Ship incrementally — one solid module beats a broad sketch.

Status / refs

  • D21/M2: new policy classes / dogfood-lane expansion is M2-gated — treat as backlog/inspiration; pyfallow wiring of an existing plan is closer to permitted. Confirm scope with operator before building net-new classes.
  • Refs: PW-G002 · core_modules.py · docs/operations/pyfallow-integration-plan.md · docs/operations/nullsec-s1-integration-plan.md (security-LLM, separate/parked).

Created by claude from the status.html gap ledger (2026-06-23). Executor: codex.

> Materializes gap **PW-G002** from `docs/status.html`. Inspiration for codex — **not** a rigid spec. ## The vision The Core registry exists but the deterministic quality layer is thin. Grow it into a real **Swiss-cheese stack** of repeatable, head-bound checks so a PR passes *many independent deterministic holes* before any LLM or human is needed: pyfallow / fallow-ts structural checks, content/slop checks (AI-generated-noise heuristics), security sensors, and repo-specific policy modules. ## Why it matters Deterministic checks are the cheapest, most trustworthy holes in the cheese — they never hallucinate and never leak. The more real deterministic coverage, the less the system leans on nondeterministic reviewers, and the higher the operator's trust per merge. ## Inspiration — possible shapes (pick what fits) - Each check = a Core module with an explicit contract (id, inputs, outputs, execution mode), composing into the existing module stack. - pyfallow/fallow-ts: wire as Option-D subprocess modules emitting findings into the contract (per `pyfallow-integration-plan.md`) — no new Python runtime dep. - "Slop"/content checks: heuristics for low-signal AI output (giant diffs, boilerplate churn, comment-only noise, duplicated blocks). - Security sensors: secret-shaped strings, dangerous API calls, permission widening — as sensors that route to hard-manual classes. - Repo-specific policy modules selectable per profile via the stack resolver. ## Hard boundaries (safety, not design) - Sensors emit findings; policy decides (D20). No module merges/approves. - pyfallow/fallow-ts stay **subprocess/external**, not Python runtime deps (stdlib-only core, P1 sovereignty). - Fail-closed: a check that can't run → its absence is recorded, never a silent green. - Schema/version bumps only where the contract genuinely changes; keep examples + tests in sync. ## The HOW is yours You choose which modules to build first, their internals, and the PR sequencing. Ship incrementally — one solid module beats a broad sketch. ## Status / refs - **D21/M2:** new policy classes / dogfood-lane expansion is M2-gated — treat as backlog/inspiration; pyfallow *wiring* of an existing plan is closer to permitted. Confirm scope with operator before building net-new classes. - Refs: PW-G002 · `core_modules.py` · `docs/operations/pyfallow-integration-plan.md` · `docs/operations/nullsec-s1-integration-plan.md` (security-LLM, separate/parked). Created by claude from the status.html gap ledger (2026-06-23). Executor: codex.
Collaborator

Addressed by #111 as the first Patchwarden-side/read-only slice.

Close basis: the deterministic Core stack now includes patchwarden.pr.generated_artifact_sensor and the June status/gap ledger captures the remaining deterministic module backlog. pyfallow/fallow-ts, richer slop/content checks, security sensors, and repo-specific modules remain tracked as PW-G002 follow-up work in the status artifacts and docs/operations/vision-gap-issue-disposition.md.

Addressed by #111 as the first Patchwarden-side/read-only slice. Close basis: the deterministic Core stack now includes `patchwarden.pr.generated_artifact_sensor` and the June status/gap ledger captures the remaining deterministic module backlog. pyfallow/fallow-ts, richer slop/content checks, security sensors, and repo-specific modules remain tracked as PW-G002 follow-up work in the status artifacts and `docs/operations/vision-gap-issue-disposition.md`.
Sign in to join this conversation.
No labels
agent/claude-code
agent/codex
agent/gemini
agent/hermes
agent/iskra
agent/ollama
agent/patchwarden
area:business-model
area:competitive
area:discovery
area:forgejo
area:metrics
area:product-strategy
area:v0-core
cagan-grade-approved
client:platform
dependency/blocked
dependency/blocks-others
dependency/cross-repo
dependency/needs-confirmation
domain:agents
domain:ci
domain:docs
domain:forgejo
domain:infra
domain:memory
domain:runtime
domain:signal
domain:ux
flow/architecture
flow/blocked
flow/deployed
flow/done
flow/implementation
flow/intake
flow/maintained
flow/observed
flow/ready
flow/refining
flow/retired
flow/review
judge/codex-candidate
judge/hermes-candidate
judge/low-confidence
judge/needs-refinement
judge/operator-needed
judge/p0
judge/p1
judge/p2
judge/p3
judge/park
judge/patchwarden-candidate
judge/stale-priority
kind/adr
kind/bug
kind/chore
kind/feature
kind/infra
kind/ops
kind/refactor
kind/research
kind:artifact
kind:decision
kind:dogfood
kind:epic
kind:implementation
kind:research
merge/auto
merge/manual
merge/manual-dependency-conflict
merge/manual-failing-tests
merge/manual-merge-conflict
merge/manual-missing-review
merge/manual-operator-preference
merge/manual-red-zone
merge/manual-security-sensitive
merge/manual-unclear-scope
merge/manual-unknown
mode:operator-only
mode:patchwarden-iskra-approved
mode:safe-auto
observed/erroring
observed/needs-followup
observed/pending
observed/retire-candidate
observed/unused
observed/used
priority:p0
priority:p1
priority:p2
priority:p3
ready-for-agent
review:claude-reviewed
review:codex-reviewed
review:dziadek-reviewed
review:needs-human
safety:external-write
safety:no-prod-mutation
safety:prod-impact
safety:secret-touch
size/large
size/medium
size/small
size/tiny
size/unknown
source/adr
source/agent-generated
source/manual
source/operator-chat
source/voice-note
status:blocked
status:blocked-on-discovery
status:cagan-grade-review-pending
status:codex-ready
status:merged:pending-evidence
status:needs-evidence
status:needs-operator-decision
status:operator-needed
status:parked
tier:0-anchor
tier:0-platform-substrate
tier:1-core
tier:1-iskra-value-layer
tier:2-supporting
tier:2-tools-products-modules
type:bug
type:chore
type:docs
type:feat
type:policy
type:research
wave:1-foundation
wave:2-positioning
wave:3-validation
wave:4-economics
wave:5-operating
No milestone
No project
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
pdurlej/patchwarden#104
No description provided.