2 commits

Author	SHA1	Message	Date
allaun	d0159ce91d	docs: enforce CFF 1.2.0 standards ... - Convert placeholder paper references from type: article to type: unpublished with honest notes about pending identifiers - Remove fake journal/arXiv placeholder from Giani et al. - Add CFF standards section to AGENTS.md with validation command and rules for DOIs, preprints, non-academic sources, and et al. usage Build: 2978 jobs, 0 errors (lake build)	2026-06-21 06:47:09 -05:00
allaun	7a973a06f6	feat(core): harden SilverSightCore and port canonical FixedPoint ... - Remove Float from Core/SilverSightCore.lean (Receipt.pathCost is now Option Nat) - Prove TIC theorems tic_never_decreases and computation_generates_time - Add lakefile.lean, lean-toolchain, and .gitignore for .lake/ - Port Research-Stack Semantics.FixedPoint.lean to formal/CoreFormalism/FixedPoint.lean - Delete thin Q16_16_Spec.lean; update Python/QUBO comments and docs - Create AGENTS.md distilled from Research Stack core bindings - Update REBASE_RULES.md to strip legacy hacks and reference AGENTS.md Build: 2978 jobs, 0 errors (lake build)	2026-06-21 06:30:12 -05:00