Skip to content

proofv: end-to-end verb proof — fattabi'ni at 19:43:10, every base letter owned (owner section 11)#108

Merged
theislampill merged 5 commits into
mainfrom
andon-proof-verb
Jul 17, 2026
Merged

proofv: end-to-end verb proof — fattabi'ni at 19:43:10, every base letter owned (owner section 11)#108
theislampill merged 5 commits into
mainfrom
andon-proof-verb

Conversation

@theislampill

Copy link
Copy Markdown
Owner

Real verb end-to-end proof, compiler-generated, deploy-shaped, candidate-mode:

  • Owner-preferred فَٱتَّبِعْنِىٓ, unique corpus match at 19:43:10 (fallback تَوَكَّلْتُ surveyed: 7 weaker matches, reasoning documented). Raw codepoint sequence preserved, never NFC-rewritten.
  • Every written base letter owned exactly once: linking fa (qg-result-fa, nahw plane) / governed hamzat al-wasl / geminate ta carrying root ta-1 + Form-VIII infix as ONE written letter (Treatment-C, recorded in the fact) / root ba+ayn / protective nun (sarf.protective_nun, never particle) / attached 1cs object pronoun. Form VIII, imperative 2ms, active voice as governed fields.
  • Honest gaps typed, not invented: target is reader-only (nearest same-lexeme card chain shown separately); direct target-lexeme evidence and the exact nahw governor/object relation are scholar-packet source gaps shown in the uncertainty display; no page-context entry_id promoted to a lexeme edge.
  • Two follow-up commits: gate on committed survey/entry fixtures (repo self-containment — the validator originally defaulted to lane-workspace paths and failed fresh clones), trailing-newline A1 fix.
  • 20 focused tests + validator + full harness; fresh-LF-clone ALL PASS; two-vote-gated projector; pre_apply_not_authorized.

@theislampill
theislampill merged commit 4afa89d into main Jul 17, 2026
1 check 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