# Sources and independent implementation

The runtime files `liuren-bifa.js` and `liuren-bifa-ui.js` were written independently. They contain independently implemented mathematical predicates, original neutral explanations, and public-domain classical headings. They do not incorporate Horosa executable code, modern explanatory prose, React components, or assets.

## Classical catalog

《六壬大全》卷十一《毕法赋》正文, https://zh.wikisource.org/zh-hant/六壬大全/11, verified 2026-10-02, text lines120–215. Only historical headings were transcribed. Modern annotations elsewhere on the page were not incorporated. Traditional characters were converted to simplified; lexical variants remain explicit:

-36 古籍“事倾颓” / reference“势倾颓”
-37 古籍正文“三等讼” / reference“三等论”
-40 古籍“后合占婚岂用媒” / reference replaces it with“玄武加丁主失脱”
-43 古籍“作曲断” / reference“作屈断”
-55 古籍“逢网罗” / reference“逢罗网”
-67 古籍“病症” / reference“病证”

The online正文 numbers the罡塞鬼户 line53 and immediately gives another53. Its sequence position is52. This catalog uses sequential52 and records the source numbering anomaly rather than claiming identical numbering.

## Pinned behavior reference

Archive path: `Horosa-Web-55c75c5b088252fbd718afeffa6d5bcb59254a0c`, inside audit checkout commit `daab60ce05c8f0e78cc51b5e7974120f81aed79c`.

Relevant source: `astrostudyui/src/components/liureng/{LRBiFaDoc,LRBiFa,LRConst,LRZhangSheng}.js`, and the context builder/caller in `components/lrzhan/LiuRengMain.js`. Source files remain in the separate checkout. Their SHA-256 values and exact predicate lines are in the ledger. The reference is AGPL-licensed; this package makes no claim to relicense it.

Historical comparisons are test evidence, not runtime dependencies. The shipped runtime and normal release tests use the independently authored implementation; no reference application modules are distributed.

## Scope

“93 source predicates” means93 actual registered functions, not93 fully implemented classical rules and not100 automatic classical rules. Seven entries are interpretive principles. Four source predicates are algebraically impossible for valid inputs and are explicitly marked as defects. Rule40 is a separate source replacement with a source-qualified ID and title in matched results and saved JSON.