Skip to content

test: isolate root reconciliation binding rejections - #272

Merged
Joncallim merged 19 commits into
codex/pr198-root-reconciler-allowlist-maintain-capabilityfrom
codex/pr198-root-reconciler-wrong-binding-proof
Jul 27, 2026
Merged

test: isolate root reconciliation binding rejections#272
Joncallim merged 19 commits into
codex/pr198-root-reconciler-allowlist-maintain-capabilityfrom
codex/pr198-root-reconciler-wrong-binding-proof

Conversation

@Joncallim

Copy link
Copy Markdown
Owner

Scope

Adds two independently isolated real-role PostgreSQL entry probes to the mandatory root-reconciliation negative harness.

  • Correct next generation with a different real journal project: only the project binding is wrong.
  • Later real generation with that generation’s own project: only the sequence binding is wrong.

Each probe snapshots the complete reconciliation lineage, journal and runtime audits, pointers, heads, tasks, and full package JSON before and after rejection.

Validation

  • npm test -- --run __tests__/project-root-reconciliation.test.ts (19 passing)
  • focused ESLint
  • npx tsc --noEmit
  • bash -n scripts/ci/prove-migration-0027-root-reconciliation-negative.sh
  • git diff --check

Live role-backed PostgreSQL execution is mandatory Web CI coverage.

Joncallim added 19 commits July 28, 2026 03:41
test: run root privilege mutations in upgrade proof
test: use root owner for grant option mutation
test: bind root grantor to mutation session
test: close root reconciler grant options
test: close root reconciler column privileges
fix: align root write context schema metadata
test: fix ordinary app trigger proof inputs
test: prove root reconciler actor boundaries
fix: close root reconciler routine allowlist
@Joncallim
Joncallim marked this pull request as ready for review July 27, 2026 21:09
@Joncallim
Joncallim merged commit ce843a5 into codex/pr198-root-reconciler-allowlist-maintain-capability Jul 27, 2026
2 of 3 checks passed
@Joncallim
Joncallim deleted the codex/pr198-root-reconciler-wrong-binding-proof branch August 2, 2026 18:22
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