Skip to content

Resite: finalise decisions + Codex execution handoff#40

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/ecstatic-turing-u5649q
Jun 20, 2026
Merged

Resite: finalise decisions + Codex execution handoff#40
hyperpolymath merged 1 commit into
mainfrom
claude/ecstatic-turing-u5649q

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

What

Finalises the resite decisions and adds a self-contained execution handoff that an autonomous agent (e.g. a Codex instance) with org credentials can follow to move each database/language out of the coordination repo.

This PR is docs/coordination only — no cross-repo moves happen here (my session's GitHub access is still scoped to nextgen-databases).

Files

  • docs/migration/RESITE-CODEX-HANDOFF.adoc (new) — step-by-step command sheet: preconditions + STOP conditions, golden safety rules, the final mapping, and exact git filter-repo / gh commands for each repo (create-new vs reconcile-existing), the verisim-modular-experimentverisimdb fold, the coordination-repo thinning PR, and a verification checklist + report template.
  • REGISTRY.adoc — finalised authoritative map.
  • docs/migration/RESITE-DATABASES-TO-OWN-REPOS.adoc — decisions marked resolved; points to the handoff for commands.

Resolved decisions (baked in)

  • verisim-core → its own VerisimCore.jl (Julia-package pattern).
  • verisim-modular-experimentfolded into verisimdb as a standard feature (no longer an experiment).
  • gnplstandalone (un-nest gql-dt/ + core-factor/gql/ now).
  • Existing canonical repos (verisimdb, quandledb, vcl-ut, krl) → reconcile, never overwrite (they already hold real history + open issues; the monorepo copies are stale duplicates).
  • References → hybrid: submodules for verisimdb + lithoglyph, registry links for the rest.

Key safety design

The handoff forbids force-pushing main of existing repos: each is extracted, diffed against the live canonical repo, and only PR'd via an import/from-monorepo branch if it has unique work. Nothing is deleted from the coordination repo until its destination is confirmed.

Execution gate

Running it needs the executing session to have access to: verisimdb, quandledb, vcl-ut (reconcile) and create rights for lithoglyph, glyphbase, gnpl, nqc, VerisimCore.jl.

🤖 Generated with Claude Code

https://claude.ai/code/session_01W8DXRHQRBgxwSdDz8om287


Generated by Claude Code

Records the resolved resite decisions and adds a self-contained command
sheet that an autonomous agent (e.g. Codex) with org credentials can follow
to execute the moves.

- docs/migration/RESITE-CODEX-HANDOFF.adoc (new): step-by-step runbook —
  preconditions, safety rules, per-repo git filter-repo / gh commands for
  create-new vs reconcile-existing, the modular-experiment fold, the thinning
  PR, and verification.
- REGISTRY.adoc: finalised map — verisim-core -> VerisimCore.jl;
  verisim-modular-experiment folded into verisimdb; gnpl standalone;
  existing repos (verisimdb/quandledb/vcl-ut/krl) are canonical (reconcile,
  not overwrite); hybrid references (submodules for verisimdb + lithoglyph).
- RESITE-DATABASES-TO-OWN-REPOS.adoc: decisions resolved; points to the
  handoff for exact commands.

Cross-repo execution is gated on the executing session having access to the
destination repos.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01W8DXRHQRBgxwSdDz8om287
@github-actions

Copy link
Copy Markdown

🔍 Hypatia Security Scan

Findings: 260 issues detected

Severity Count
🔴 Critical 40
🟠 High 120
🟡 Medium 100

⚠️ Action Required: Critical security issues found!

View findings
[
  {
    "reason": "Issue in boj-build.yml",
    "type": "missing_timeout_minutes",
    "file": "boj-build.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in casket-pages.yml",
    "type": "missing_timeout_minutes",
    "file": "casket-pages.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in casket-pages.yml",
    "type": "missing_timeout_minutes",
    "file": "casket-pages.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in codeql.yml",
    "type": "missing_timeout_minutes",
    "file": "codeql.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in dogfood-gate.yml",
    "type": "missing_timeout_minutes",
    "file": "dogfood-gate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in dogfood-gate.yml",
    "type": "missing_timeout_minutes",
    "file": "dogfood-gate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in dogfood-gate.yml",
    "type": "missing_timeout_minutes",
    "file": "dogfood-gate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in dogfood-gate.yml",
    "type": "missing_timeout_minutes",
    "file": "dogfood-gate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in dogfood-gate.yml",
    "type": "missing_timeout_minutes",
    "file": "dogfood-gate.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in instant-sync.yml",
    "type": "missing_timeout_minutes",
    "file": "instant-sync.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

@hyperpolymath hyperpolymath marked this pull request as ready for review June 20, 2026 04:00
@hyperpolymath hyperpolymath merged commit a0df135 into main Jun 20, 2026
20 of 23 checks passed
@hyperpolymath hyperpolymath deleted the claude/ecstatic-turing-u5649q branch June 20, 2026 04:00
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