Source References¶

Inspected Source Root¶

/Users/marcos/Desktop/centurion_phase1_upgradeable_refactor

Generated Inventory¶

The detailed per-file source inventory is generated at Generated Solidity Inventory by:

bash python3 tools/extract_solidity_inventory.py

The same command also writes Source Manifest and the machine-readable lock file docs/appendices/source-manifest.lock.json. Use the lock file for hash-based drift detection; use this page for human review context.

Snapshot Traceability¶

Traceability item	Current status
Absolute source root	`/Users/marcos/Desktop/centurion_phase1_upgradeable_refactor`
Source git repository	Evidence required; the local source root is not currently a git checkout.
Source git commit	Evidence required for the same reason.
Lock manifest	`docs/appendices/source-manifest.lock.json`
Generator version	Recorded in the lock manifest and generated inventory.
Regeneration command	`python3 tools/extract_solidity_inventory.py` or `make inventory`

File Mapping¶

Path	Contract(s) / artifact	Main documented concepts	Important functions / elements	Notes
`CenturionUpgradeGovernor.sol`	`CenturionUpgradeGovernor` plus view interfaces	role model, timelock flow, policy registry, final freeze	`proposeUpgrade`, `queueUpgrade`, `executeUpgrade`, `cancelUpgrade`, `registerTransparentProxy`, `registerBeacon`, `finalFreeze`	`finalFreeze` remains governor emergency machinery.
`CenturionProxy.sol`	transparent proxy, upgradeable beacon, beacon proxy	proxy/beacon topology, admin behavior, initialization checks	`upgradeToAndCall`, `proxyAdmin`, `proxyImplementation`, `freezeForever`	Reserved proxy selectors matter for upgrades.
`DepositContractCTN.sol`	`DepositContractCTN` plus baseline interfaces	permissioned admission, always-on Phase-1 custody checks, merkle root, intent replay protection	`deposit`, `addAllowedDepositFor`, `_enforcePhase1CustodyBaseline`, `transferAllowlistAdmin`	Current source removed false-freeze and permissionless toggle surfaces.
`CenturionVaultFactory.sol`	`CenturionVaultFactory`	vault deployment, binding, CREATE2, seat initialization	`deployVault`, `previewVaultAddress`, `previewExecutionWithdrawalCredentials`	Bootstrap flag must be closed for deposit readiness.
`CenturionWithdrawalVault.sol`	`CenturionWithdrawalVault`	vault custody operations and exit routing	`requestExit`, `transferETH`, `setExitRequestFallback`	Controller-only funds movement.
`CenturionEconomicController.sol`	`CenturionEconomicController`	risk, receipt, claim, settlement, reserve, exit accounting	`updateRiskObservationFinalModel`, `recordVaultReceiptFinalModel`, `initiateClaim`, `finalizeClaim`, `depositReadiness`, `finalizeSettlement`	Uses helper libraries; library behavior is part of effective policy.
`CenturionClaimGatekeeper.sol`	`CenturionClaimGatekeeper`	claim-state derivation, executor grants, pending claims	`deriveClaimMode`, `deriveClaimState`, `classifyReceipt`, `initiatePendingClaim`, `finalizePendingClaim`	Controller is only mutating caller.
`CenturionTypes.sol`	`CenturionTypes`	constants, enums, struct schema	claim/risk/receipt/settlement types	Type meanings drive docs vocabulary.
`CenturionInitializable.sol`	`CenturionInitializable`	initializer and reinitializer version guard	`initializer`, `reinitializer`, `_disableInitializers`	Proxy initialized version is verified by governor for transparent proxies.
`CenturionBaselineCheckLib.sol`	`CenturionBaselineCheckLib`	canonical governor/beacon runtime codehash helpers	`expectedGovernorCodehash`, `expectedBeaconCodehash`	Evidence helper only.
`Centurion*Lib.sol` helper libraries	Multiple libraries	claim policy, views, smoothing, dust, receipts, reserve, risk, settlement, payout	See generated inventory	Review with controller call sites.
`interfaces/ICenturionWithdrawalVault.sol`	Interface	external vault surface	getters, readiness, exit, transfer calls	Used by controller and docs.
`paper/centurion_phase1_p10_paper.pdf`	Normative paper	model assumptions and invariants	n/a	Confirmed local file; not a Solidity proof by itself.
`test_p10_conformance.js`	Conformance harness	structural policy assertions	npm test entry	Confirms encoded expectations, not full formal proof.
`build_all.sh`, `compile_one.js`	Build scripts	compile and size checks	local build entrypoints	Toolchain reproducibility needs additional evidence.