---
record_id: HP-HTFOL-DEJING-PILOT
classification: Historical Text FOL Pilot
work: De Jing
status: prototype
scope: Adaptor House governance pattern for scalable historical text FOL implementation
inherits: HP-HTFOL-MASTER
---

# Historical Text FOL Pilot

This pilot treats De Jing 1.1 as a small working surface for a larger method. The method must scale to De Jing's 344 line records without making every design adjustment churn the whole family. It should also transfer to other dense works, including the Thousand Character Classic and Finnegans Wake.

Master rules: `historical-text-fol-master.md`.

Historical Present implements this pilot at `https://historicalpresent.com/shared/dejing-commentary/de-01-ddj-38-line-001.html`.

## Goal

Keep the published page lean while making the formal layer sound enough to audit.

## Churn Avoider

Separate the system into four layers:

1. Master rules: `historical-text-fol-master.md`
2. Project rules: `dejing-fol-rules.md`
3. Project lexicon: `dejing-fol-lexicon.md`
4. Per-record formal data: one small record object per line or segment
5. Page rendering: HTML generated from shared templates plus record data

Do not hand-edit 344 pages for a rule or lexicon change. Change the shared file, validate the pilot, then regenerate only the selected record range.

## Multiplier

The same shape should work for other works:

| Work | Record unit | Shared layer | Per-record layer |
| --- | --- | --- | --- |
| De Jing | chapter/line | Chinese classical syntax, translation witness rules | line claim, syntax objects, proof status |
| Thousand Character Classic | character/line/couplet | character lexicon, phrase syntax, parallelism rules | character claim, couplet claim, source witnesses |
| Finnegans Wake | page/line/phrase | multilingual pun lexicon, syntax ambiguity rules | phrase claim, allusive witnesses, proof status |

## Required Record Fields

Each formal record should eventually supply:

```text
record_id
public_label
source_work
source_unit
source_text
translation_witness
formal_claim
quantifier_scope
predicate_expansion
proof_status
proof_sketch
lexicon_refs
rule_refs
alignment_status
```

## Soundness Gate

A record should not be promoted beyond prototype unless it passes these checks:

1. Quantifier scope is explicit.
2. Logical operators are operators, not predicate names.
3. Predicate names appear in the shared lexicon.
4. Translation, source, syntax, and sentence claim are separate objects.
5. The proof is present, or the record is explicitly marked unproved.
6. The public label is human-readable; record IDs remain internal metadata.