Skip to content

research(zfae): construct gonol input parsing and preserve source evidence - #52

Merged
erinepshovel-code merged 3 commits into
mainfrom
research/zfae-construction
Sep 23, 2026
Merged

erinepshovel-code merged 3 commits into
mainfrom
research/zfae-construction

Conversation

@erinepshovel-code

@erinepshovel-code erinepshovel-code commented Sep 22, 2026 •

Copy link
Copy Markdown
Contributor

ZFAE needs a constructed input boundary before neural inference can be built. This PR starts that research in Stack and supplies a gonol-backed parser using the existing English GlyphGonol producer and the exact UCNS Public Gonol carrier.

The first experiment found six collisions when A0-betatest's complete heuristic SemanticFeatures record was proposed as the sole lossless input boundary. The original FALSIFIED receipt is preserved. The new parser distinguishes all six pairs in the native gonol sequences themselves, without relying on source IDs or hashes to create differences.

The parser accepts text, strict UTF-8, or ordered native glyph gonols. Repeated glyphs share one immutable construction while retaining separate occurrences and exact scalar/byte spans. Serialized results contain complete native construction records; replay rejects changed identities, spans, construction parts, and provenance. Unsupported scalars remain visible in their original positions, and complete-gonol consumption refuses partial admission.

The declared synthetic profile contains all 157 UCNS carrier positions plus eight explicit non-carrier scalars: NUL, TAB, CR, LF, é, combining acute accent, 中, and 😀. Extras consume the existing English encoded-name/codepoint construction; they do not define UCNS function operations. This is a finite research profile, independent of the OEWN inventory. No second gonol schema or geometry law is introduced.

Files Change and purpose Validation
research/zfae/gonol_parser.py, GONOL_PARSER.json Verified owning-source consumption, native object input, occurrence preservation, strict admission and recovery All 165 declared scalars; separate normal producer import; malformed source and foreign/mutated object rejection
gonol_probe.py, tests/test_gonol_parser.py, v1 receipt Complete finite-profile replay and original collision regression 17 recovery cases, nine comparison pairs; native and JSON recovery; tamper checks
Original input probe, tests and receipts Preserve the original counterexamples; add an unchanged-observation replay under the expanded graph Original receipt byte-preserved; current replay differs only in graph identity
Research README/BASE, root manifests, README/AGENTS and portfolio report Construction sequence, exact sources, usage and owning boundaries Stack consistency, source/graph correspondence, portfolio contract
.github/workflows/zfae-research.yml Retrieve immutable comparison/carrier sources, run checks, compare both sealed receipts Read-only hosted replay

Local validation on tree 8402e61509f5cde3826073d40e6da36875036a42:

  • Nine behavioral/harness checks pass with ResourceWarning treated as an error.
  • All 157 carrier positions and all 165 declared scalar constructions are exercised.
  • All 17 recovery cases replay; one intentionally unsupported case retains both missing occurrences.
  • All six former collisions are distinguished; all three controls and repeated observations pass.
  • Both complete experiment receipts replay exactly. The old heuristic comparison remains FALSIFIED.
  • Eight source contracts have nine resolving test witnesses; source/test ratio seals verify.
  • Stack consistency passes: seven canonical repositories and 22 research participant identities. All 15 inspected source-file records resolve to the research graph.
  • Portfolio validation and git diff --check pass. No training, paid API calls, or GPU compute.

Exact implementation sources:

  • English glyph producer: Stack d713cc5f901d74deb902a191837ef5657dbaba94, blob 8b55823805c87ad8c4cc9d7451dc2eb90bdedd3a.
  • UCNS carrier: 4086ab82399c4d142b0eacfbc09e0a69ed151aa5, blob c1955e46e2dc918fb657cb346e42106d71937e91.
  • Doctrine: skill-lib abd259b4722901317e4388d774a20d6819d959c2, including gonol-build.
  • Work graph: 70787567cb37f4b156a66b293f9bd9cb5cf7d722f1e6ff1721f5df343ada5b79.

Usage is in research/zfae/README.md. Python 3.12 / Unicode 15.0.0 is required for exact construction replay. The parser is the Stack research input boundary; it does not alter A0-betatest's live decoder, construct higher gonols, or satisfy PTCNA's neural-audit gate. ZFAE retains conceptual authority, UCNS geometry, PTCNA neural construction and a0 runtime integration. UCHC release/reconsumption remains incomplete.

Rollback: revert the parser transaction and associated graph/receipt projections; retain sealed historical evidence. No upstream source or libs/ view is modified.

hmmm: expand admission only through declared producer profiles; derive higher closure and geometric function operations; bind the UCNS neural audit required by PTCNA; construct and validate inference before runtime integration.

…ence

Add a source-bound construction track and frozen parser distinction probe.
Record six input collisions with passing controls without claiming inference
capability or transferring upstream authority. Update Stack projections as
one structural transaction.
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Sep 22, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-09-23T08:10:19.820705Z 3194eee New commits
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@erinepshovel-code erinepshovel-code changed the title research(zfae): start inference construction and test input preservation research(zfae): construct gonol input parsing and preserve source evidence Sep 22, 2026

@chatgpt-codex-connector chatgpt-codex-connector Bot 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.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 7398cdb55d

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread research/zfae/gonol_parser.py Outdated
Comment thread research/zfae/gonol_probe.py Outdated
Comment thread research/zfae/gonol_parser.py Outdated

@chatgpt-codex-connector chatgpt-codex-connector Bot 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.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 3194eee189

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment on lines +218 to +219
if not isinstance(gonol, self._gonol_type):
raise GonolAdmissionError(f"foreign gonol type at occurrence {ordinal}")

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

P2 Badge Accept gonols from previous verified loads

When load_parser() is called twice, _verified_module re-executes the producer and creates a distinct GlyphGonol class each time, so this isinstance check rejects a gonol produced by the first parser when passed to the second—even though both parsers verified the same declared source blob. This also affects callers that constructed gonols from an exact producer import before loading the parser; validate the source-bound construction without requiring identity with one ephemeral class object.

AGENTS.md reference: AGENTS.md:L28-L30

Useful? React with 👍 / 👎.

@erinepshovel-code
erinepshovel-code merged commit c9cc72e into main Sep 23, 2026
11 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.

1 participant