Skip to content

docs: correct false lithoglyph tombstone (no lith monorepo) - #44

Merged
hyperpolymath merged 1 commit into
mainfrom
chore/correct-lithoglyph-tombstone
Jun 22, 2026
Merged

hyperpolymath merged 1 commit into
mainfrom
chore/correct-lithoglyph-tombstone

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

The lithoglyph/MOVED.md falsely announced a move to a lith monorepo. Owner-disavowed — that consolidation was never authorised and hyperpolymath/lith does not exist; the content (73 entries) still lives in nextgen-databases/lithoglyph/.

This corrects the tombstone to the truth: extraction is planned, not done, into the now-reserved repos lithoglyphdb / gnpl / glyphbase. Stops the file misleading future readers/agents.

🤖 Generated with Claude Code

@github-actions

Copy link
Copy Markdown

🔍 Hypatia Security Scan

Findings: 251 issues detected

Severity Count
🔴 Critical 31
🟠 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 merged commit 93afa5f into main Jun 22, 2026
14 of 16 checks passed
@hyperpolymath
hyperpolymath deleted the chore/correct-lithoglyph-tombstone branch June 22, 2026 12:35
hyperpolymath added a commit that referenced this pull request Sep 25, 2026
…sim-core AFFIRMATION, lithoglyph/gnpl disentanglement, K9 pedigree + trusted-base (#105)

Closes #42, closes #45, closes #53

## Foundational, at source, upstream/downstream, enduring

This PR addresses all three open issues foundationally, not
symptomatically.

### #42 — Template debt + ReScript/TS→AffineScript + verisim-core
AFFIRMATION

**Template debt root cause:** had placeholder — template default not
customised.

**Fix at source:**
- fixed: real unique-strength description (coordination of four families
with honest boundaries), 7 divergent-invariants, 6 known-constraints,
v1.1.0 2026-09-25
- SPDX warnings fixed: + now have SPDX headers — A2ML validation 36
files 0 errors 0 warnings (was 2 warnings)
-  v0.2.0 with enduring guards

**Downstream:**
- 2026-09-25 supersedes 2026-06-19: 0 placeholder files, 0 .res/.ts, K9
passes, proof-debt documented, verisim-core AFFIRMATION exists
- 2026-09-25: MUST includes coordination-only + placement guard + K9 +
trusted-base; INTEND marks DONE
-  rewritten to coordination focus
-  v0.2.0 with foundational-fixes section

**ReScript/TS migration:**
- 0 → 0 in coordination paths (was 143 + 4 package.json)
- DONE via extraction: lithoglyph 819 files → hyperpolymath/lithoglyph,
glyphbase → glyphbase, gql-dt → gnpl, verisimdb → verisimdb
-  updated to DONE with completion summary
- Mustfile: no-typescript critical, no-rescript critical (new),
no-npm-package-json warning (new)

**verisim-core AFFIRMATION:**
- Created with verifiable anchor, what is solid (structure, SPDX, no
banned patterns, Ed25519 real, federation enforcement, 55 assertions),
known-incomplete, reproduce, one-line, cross-repo wiring, joint
attestation
- Satisfies Issue #42 requirement: shippable layer needs own AFFIRMATION
with scoped table

### #45 — Lithoglyph / GNPL / Glyphbase extraction

**Root cause:** reservation repos exist but content still in
lithoglyph/, prior lith monorepo was unauthorised fabrication (#44),
GNPL and LithoglyphDB entangled — design decision needed.

**Fix at source — design decision (not mechanical):**
- Created :
- Table: LithoglyphDB = journal/storage/reversibility/proof registry vs
GNPL = narration/projection (accounts, stances, warrants, rival)
- Why separate, what superseded (core-factor/gql/ is superseded, not
migrated)
  - Extraction table: was → now, files, status
- History preservation: split-history/lithoglyph 819 files 68 commits,
split-history/verisimdb 713 files 124 commits, _split_gnpl branch, never
prune
  - Glyphbase own repo rationale
  - Enduring guards upstream/downstream/cross-repo
- Acceptance criteria all DONE, naming note (issue says lithoglyphdb but
canonical is lithoglyph)

**Downstream — extraction DONE:**
- lithoglyph 819 files 2026-07-27, verisimdb 713 files 2026-08-03, gnpl
125 files PR #4 102c79e, glyphbase 130 files — pointer READMEs left
-  +  document split-history tags

**Enduring:**
- placement-guard.yml: lithoglyph/verisimdb now FAIL (not warn) on new
files; grandfathered
quandledb/nqc/typeql-experimental/verisim-core/verisim-modular-experiment
warn
- block-db-writes.sh blocks NEW files in legacy DB dirs
- 0-AI-MANIFEST.a2ml coordination-only invariant, CLAUDE.md
NEVER/ALWAYS, Trustfile extraction section
- REGISTRY.adoc clarified lithoglyph vs lithoglyphdb naming
- RESITE status PARTIAL DONE

### #53 — K9 pedigree + trusted-base

**K9 root cause:** verisimdb/connectors/test-infra/deploy.k9.ncl used
let indirection valid Nickel but early validator couldn't follow;
validator fixed to resolve one-hop let; file removed 2026-08-03 after
verisimdb extraction.

**Fix upstream:** validate-k9.sh now handles let alias (pedigree_alias
sed + let block opener), comment explains.

**Downstream:** remaining 7 K9 files under .machine_readable/svc/k9/ all
have metadata.name, validation passes 7 files 0 errors.

**Enduring:** Mustfile k9-pedigree-valid critical, placement guard,
governance.yml reusable workflow, Trustfile k9-pedigree integrity.

**Trusted-base root cause:** proof-bearing files in monorepo era, no
docs/proof-debt.md.

**Fix:** Created docs/proof-debt.adoc with current status (coordination
repo has no proof-bearing impl after extraction), historical #53
resolution, escape hatch inventory (0 in coordination paths), policy for
new debt (// TRUSTED: reason review date issue), verification commands,
refs hypatia#464.

**Enduring:** Mustfile proof-debt-documented critical + no-believe-me +
no-unsafe-coerce critical, Trustfile trusted-base + proof-debt-gate,
AGENTIC.a2ml constraints,
docs/governance/K9-PEDIGREE-TRUSTED-BASE-FIX.adoc.

### Verification 2026-09-25

- K9: 7 files 0 errors 0 warnings
- A2ML: 36 files 0 errors 0 warnings
- Template: 0 placeholder files (excluding intentional guard lists)
- ReScript/TS: 0 files
- Banned patterns: 0 in coordination paths
- proof-debt.adoc exists, verisim-core/AFFIRMATION.adoc exists,
disentanglement exists, K9 fix exists, AFFIRMATION updated

### Files changed

20 files, 1193 insertions: methodology.a2ml, ANCHOR.a2ml, Mustfile.a2ml,
Trustfile.a2ml, AGENTIC.a2ml, STATE.a2ml, 0-AI-MANIFEST.a2ml, Justfile,
REGISTRY.adoc, TEST-NEEDS.adoc, AFFIRMATION.adoc,
FOUNDATIONAL-FIXES-2026-09-25.adoc (NEW),
K9-PEDIGREE-TRUSTED-BASE-FIX.adoc (NEW), musts-intends-wishes.adoc,
LITHOGLYPH-GNPL-DISENTANGLEMENT.adoc (NEW),
RESCRIPT-TS-AFFINESCRIPT-MIGRATION.adoc,
RESITE-DATABASES-TO-OWN-REPOS.adoc, proof-debt.adoc (NEW),
verisim-core/0-AI-MANIFEST.a2ml, verisim-core/AFFIRMATION.adoc (NEW)

---------

Co-authored-by: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com>
Co-authored-by: arena-agent <297053741+arena-agent@users.noreply.github.com>
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