wip

Author: zeme-wana

plutus-tx-plugin/changelog.d/20260311_120000_agda_certifier_source_location_tracking.md

@@ -4,22 +4,7 @@
   `RealSrcSpan` information in `CompileContext` (`ccCurrentLoc`, `ccSourceLoc`)
   and passes it through to certificate generation via `ReaderT` instead of
   invasive function parameters.
-- `--certify` plugin option to trigger Agda certificate generation for compiled
+- `certify` plugin option to trigger Agda certificate generation for compiled
   Plutus scripts.
 - `generateCertificate` top-level function that invokes the certifier with
   package name, module name, and source location metadata.
-
-### Changed
-
-- `compileExpr` no longer takes a `Maybe GHC.RealSrcSpan` parameter; source
-  location now flows through `ccCurrentLoc` in `CompileContext` via
-  `asks`/`local`.
-- `compileMarkedExprs` simplified from a stateful `go lastLoc` loop to direct
-  recursion.
-- `stripAnchors` simplified to a single pattern match (no recursive `go` loop).
-- Package name resolution uses `GHC.lookupUnit`, `GHC.thisPackageName`, and
-  `stripVersionFromUnitId` as a fallback chain.
-
-### Removed
-
-- `findProjectRoot` — replaced by `System.Directory.makeAbsolute`.