9b2be10c77
Replace monolithic passepartout-economics.org with directory of org-roam style nodes, each with :ID: property and cross-references using [[id:uuid][title]] format. 27 nodes organized by theme: - Core: index, triad overview, agora, stoa - Revenue: verification appliance, domain gate packages, evaluation harness, skill marketplace, agora usernames, PDS service, compute marketplace - Strategy: investment thesis, moats, licensing, patents, AI industry impact - Analysis: lisp economics, sufficiency flip, time estimates, cost structure, gate rule encoding, upgrade lifecycle, biology parallels, symbolics comparison - Big money: verification monopoly, infrastructure lock-in Old file kept as archive with redirect links to new structure.
1.5 KiB
Gate Rule Encoding from Codified Domains
Laws, regulations, standards, procedures, and technical specifications are already written down in structured text. The LLM does not need to reason about them — it needs to translate them into gate rules and ACL2 theorems.
Example: The US Federal Acquisition Regulation (FAR) is ~2,000 pages. A frontier LLM can ingest the FAR and produce a plist of gate rules:
- (if contract > $250K AND not small-business-set-aside → :deny)
- (if sole-source AND no justification-documented → :deny, produce-justification)
ACL2 verifies the rule set for internal consistency. Screamer checks against existing compliance facts. The human reviews the bootstrap output and approves or corrects individual rules.
The key distinction: the LLM is not extracting knowledge from prose — it is translating a known rule system into a formal representation. The result is not "the LLM's best guess" but "the rule set as stated in the source document, mechanically transcribed."
For codified domains, the encoding cost drops from weeks to hours. The only bottleneck is human review of the 5% ambiguous rules.
See also: Sufficiency flip, Cost structure, Domain gate packages