The frontmatter lists a proof scenario or finding for every required rule and records each applicable category. Scenario coverage describes what to check; bindings identify the assertions that already exist, and execution results remain unverified. A real domain extension failure, every permission context and simultaneous common-record writes remain unproved; the browser domain scenario performs no database write. Workflow edges not named by a scenario remain in this finding rather than gaining a binding from shared workflow membership.
Domain creation and retirement agree with common-product reads. An owning domain caller has a valid shared transaction context. Create a package through the domain function, replace it at the read version, retire it, and inspect each result through Accounting. Readers see the common identity and ordered grid at each version; retired ordinary replacement fails.
Coverage
Rulecovered
Transitiongap: FND-ACC-PRD-056
Validationcovered
Permissioncovered
Edgecovered
Failuregap: FND-ACC-PRD-056
Boundarycovered
Concurrencygap: FND-ACC-PRD-056
Invariantgap: FND-ACC-PRD-056
Interactioncovered
Test Scenarios
10 scenarios proving CAP-ACC-PRD-007; 7 bound to an existing test.
01Domain ownership restricts service writespermissionunitnegativetest