Acquisitions - NRO Acquisition, Purchase Price Allocation (Parentheticals) (Details) - Nickel Road Operating [Member] $ in Millions	Oct. 01, 2024 USD ($)
Acquisitions [Abstract]
Final settlement statement payment	$ 0.3
Amount paid for tax liabilities	6.6
Suspended revenues	$ 1.2

Amount of deferred revenue assumed in business combination and recognized at acquisition date, classified as current.

No definition available.

Name:	prop_AssetAcquisitionRecognizedIdentifiableAssetsAcquiredAndLiabilitiesAssumedSuspendedRevenues
Namespace Prefix:	prop_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Amount of liability assumed in business combination and recognized at acquisition date, classified as tax paid for liabilities.

+ References

No definition available.

+ Details

Name:	prop_AssetAcquisitionRecognizedIdentifiableAssetsAcquiredAndLiabilitiesAssumedTaxPaidForLiabilities
Namespace Prefix:	prop_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Definition

Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 350
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482573/350-20-50-4

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 805
-SubTopic 50
-Name Accounting Standards Codification
-Section 15
-Paragraph 3
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147480123/805-50-15-3

+ Details

Name:	us-gaap_AssetAcquisitionLineItems
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

The net cash inflow or outflow associated with the aggregate amount of adjustment to the purchase price of a previous acquisition.

+ References

No definition available.

+ Details

Name:	us-gaap_PaymentsForProceedsFromPreviousAcquisition
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Details

Name:	us-gaap_BusinessAcquisitionAxis=prop_NickelRoadOperatingLLCMember
Namespace Prefix:
Data Type:	na
Balance Type:
Period Type: